7.3 KB · ⇊ 5 parts · ⤓ Micron 7.3 KB · ⤓ HTML 24.2 KB

top

In computer science, the International Conference on Computer-Aided Verification (CAV) is an annual academic conference on the theory and practice of computer-aided formal analysis of software and hardware systems, broadly known as formal methods. Among the important results originally published in CAV are techniques in model checking, such as Counterexample-Guided Abstraction Refinementcite-ref-cegar-1-0[1] and partial order reduction.cite-ref-2[2]cite-ref-3[3] It is often ranked among the top conferences in computer science.cite-ref-4[4]cite-ref-5[5]

The first CAV was held in 1989 in Grenoble, France. The CAV proceedings (1989-present) are published by Springer Science+Business Media. They have been open access since 2018.cite-ref-2018proceedings-6-0[6]cite-ref-2017proceedings-7-0[7]cite-ref-2023proceedings-8-0[8] The annual CAV Award was established in 2008. The list of recipients and citations can be found at https://i-cav.org/cav-award/.

• See also

• References

• External links

• List of computer science conferences

• Symposium on Logic in Computer Science

• European Joint Conferences on Theory and Practice of Software

cite-note-cegar-11. ↑ citerefclarke2000Clarke, Edmund M.; et al. (2000). "Counterexample-Guided Abstraction Refinement". Computer Aided Verification. Lecture Notes in Computer Science. Vol. 1855. pp. 154–169. doi:10.1007/10722167_15. ISBN 978-3-540-67770-3.

cite-note-22. ↑ citerefvalmari1990Valmari, Antti (1990). "A Stubborn Attack On State Explosion". Computer-Aided Verification. Lecture Notes in Computer Science. Vol. 531. pp. 156–165. doi:10.1007/BFb0023729. ISBN 978-3-540-54477-7.

cite-note-33. ↑ citerefgodefroid1990Godefroid, Patrice (1990). "Using Partial Orders to Improve Automatic Verification Methods". Computer-Aided Verification. Lecture Notes in Computer Science. Vol. 531. pp. 176–185. doi:10.1007/BFb0023731. ISBN 978-3-540-54477-7.

cite-note-44. ↑ "Ranked Conference List (2010)". Australian Research Council. Archived from the original on 27 February 2012. Retrieved 3 January 2012.

cite-note-55. ↑ "Top conferences in Software Engineering". Microsoft Academic Search. Archived from the original on 29 June 2013. Retrieved 3 January 2012.

cite-note-2018proceedings-66. ↑ citerefchocklerweissenbacher2018Chockler, Hana; Weissenbacher, Georg, eds. (2018). Computer Aided Verification. Lecture Notes in Computer Science. Vol. 10982. doi:10.1007/978-3-319-96142-2. ISBN 978-3-319-96141-5. ISSN 0302-9743.

cite-note-2017proceedings-77. ↑ citerefmajumdarkun-ak2017Majumdar, Rupak; Kunčak, Viktor, eds. (2017). Computer Aided Verification. Lecture Notes in Computer Science. Vol. 10427. doi:10.1007/978-3-319-63390-9. ISBN 978-3-319-63389-3. ISSN 0302-9743.

cite-note-2023proceedings-88. ↑ citerefenealal2023Enea, Constantin; Lal, Akash, eds. (2023). Computer Aided Verification. Lecture Notes in Computer Science. Vol. 13965. doi:10.1007/978-3-031-37703-7. ISBN 978-3-031-37702-0. ISSN 0302-9743.

• Official website

• bibliography for CAV at DBLP

• Conference proceedings